fpf{-}map($a$,$v$.$f$($a$;$v$);$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$a$.$f$($a$;2of($x$)($a$));1of($x$))